A Veri able Software/Hardware Co-design Using SDL and Cospan
نویسندگان
چکیده
A new bilingual speciication environment consisting of the two languages SDL and S/R is described. The new design is based on the SDL-to-S/R compiler that was implemented at a previous phase and introduces the necessary interface semantics as restrictions on special SDL shell processes that encapsulate the interfaced S/R modules. The environment can be used in SW/HW co-design by involving the veri-cation engine COSPAN geared to the S/R language speciication.
منابع مشابه
Using SDL for Hardware/Software Co-Design of an ATM Network Interface Card
The Co-design is the process of generating a mixed hardware/software architecture starting from system-level model. This paper discusses the uses of SDL for the co-design of an ATM Network Interface Card (NIC). In this study, the initial specification is given in SDL. The architecture generation is made using Cosmos, a co-design tool for multiprocessor architecture. Several architectures are pr...
متن کاملSDL/Virtual Prototype Co-design for Rapid Architectural Exploration of a Mobile Phone Platform
In this paper we present a new hardware/software co-design methodology for embedded systems, where software components written in Specification and Description Language (SDL) execute on a soft-model of a hardware platform, a so called Virtual Prototype (VP). The proposed approach enables fast exploration of different hardware and software design options at high level of abstraction in order to ...
متن کاملDesign of an ASIC model in SDL
The HdS (hardware dependent Software) department of A1catel Bell Antwerp, part of the Carrier Data division is responsible for the design of embedded software, firmware and off-line test software towards verification and test of ASICs, PCB-boards and complete systems. The HdS designers are interested in an executable hardware model of the system to be designed as a virtual target for debugging ...
متن کاملEmbedded system protocol design flow based on SDL: from specification to hardware/software implementation
SDL (Specification and Description Language) is popular for communication protocol design. SDL tools allow simulating and verifying SDL models. In this paper, we show how SDL models can be transformed into hardware/software implementations for embedded systems. Our design flow contains a lightweight operating system integration layer and a cosimulation framework that supports hardware/software ...
متن کاملModel Checking for an Executable Subset of UML
This paper presents an approach to model checking software system designs speci ed in an executable subset of UML, xUML. The approach is enabled by the execution semantics of xUML and is based on automatic translation from xUML to S/R [5], the input language of the COSPAN [5] model checker. Translation algorithms are de ned and described, which cover class models, state models of classes, actio...
متن کامل